(declare-fun a () Int)
(declare-fun b () Int)
(declare-fun c () Int)
(declare-fun d () Int)
(declare-fun e () Int)
(declare-fun aa () Int)
(assert (<= 0 a 200))
(assert (>= c 0))
(assert (> e 1))
(assert (= (* c b) e))
(assert (= (+ (* c (- 1)) (* d a)) (* aa (- 120)) a))
(check-sat)
